1. Communicating sequential process
پدیدآورنده : C.A.R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Communicating sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers- Programming,Parallel processing (electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده : / C.A.R. Hoare
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
4. Communicating sequential processes
پدیدآورنده : / C. A. R. Hoare
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
5. Communication sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
7. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
8. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
9. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
10. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
11. #Operating systems techniques
پدیدآورنده : #edited by C. A. R. Hoare ]and[ R. H. Perrott
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Operating systems )Computers( -- Congresses
رده :
#
QA
،#.
I57
،#
1971
12. Operating systems techniques; proceedings
پدیدآورنده : edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
13. Scientific applications of multiprocessors
پدیدآورنده : edited by R. Elliott, and C.A.R. Hoare
موضوع : Science- Data processing- Congresses,Multiprocessors- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Structured Programming
پدیدآورنده : \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming.
رده :
E-Book
,
15. #Structured programming
پدیدآورنده : #]by[ O.-J. Dahl, E. W. Dijkstra ]and[ C. A. R. Hoare
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Structured programming
رده :
#
QA
،#.
D33
16. Structured programming
پدیدآورنده : / [by ??O.-J. Dahl, E. W. Dijkstra [and ??C. A. R. Hoare
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Structured programming
رده :
QA
,
76
.
6
,.
D33
17. Structured programming
پدیدآورنده : / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Structured programming
رده :
QA76
.
6
.
D33
18. Structured programming,
پدیدآورنده : [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming
رده :
QA76
.
6
.
D33
19. Structured programming
پدیدآورنده : / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D131s
20. The theory of mathematical machines
پدیدآورنده : Edited by Yu. Ya. Bazilevskii. Translated from the Russian by C.A.R. Hoare. Translation edited by J.M. Jackson
کتابخانه: (طهران)
موضوع : ، Machine theory
رده :
QA
76
.
5
.
V6213
